<?php
header("HTTP/1.0 200 OK",true, 200);
$tmp = Array("real_name"=>"Ray");
$json_str = json_encode($tmp);
?>
var user=<?php echo $json_str; ?>;
